%%%% VERSION 2.0 %%%%%%
3 
%%%% Initial state %%%%%%
1 
1 1 IS
* 
%%%% Transition %%%%%%
1 
2 2 T
y * 
- * 
%%%% Event  %%%%%%
2 
2 2 E
a * 
* - 
2 3 C
* p - 
* - p